форма логическая

        ФОРМА ЛОГИЧЕСКАЯ — способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются предметами данной мысли.

        В современной логике анализ логических форм концептуальных образований (понятий, суждений, рассуждений и др.), адекватно оформленных в виде осмысленных выражений естественного языка, осуществляется с помощью формализованных языков, которые имеют точно заданные алфавит и правила образования сложных выражений и основаны на определенной системе семантических категорий.

        Процедура выявления Ф. л. представляет собой процесс перевода выражающего мысль естественно-языкового контекста в формализованный язык. При этом переводе дескриптивные термины, или целиком простые высказывания, в составе исходного контекста замещаются нелогическими символами (параметрами) искусственного языка соответствующих семантических категорий, причем одинаковые выражения замещаются одинаковыми символами, а разные — разными; а также воспроизводится порядок и способ связи дескриптивных составляющих в соответствии с синтаксическими правилами формализованного языка. Выражение, полученное в результате указанной процедуры, как раз и фиксирует Ф. л. мысли. Его нельзя рассматривать как лишенное содержания: оно включает в себя информацию, выражаемую логическими терминами, а также информацию о категориях дескриптивных терминов исходного контекста, их тождестве и различии, специфике их сочленения.

        Ф. л. не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Ее исследование во многом обусловлено категориальными особенностями формализованного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие.

        Анализ Ф. л. может иметь различную степень глубины. Так, при воспроизведении форм контекстов естественного языка в языке логики высказываний происходит замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики и логики предикатов позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий, поэтому между ними имеется существенное различие в характере и глубине воспроизведения Ф. л.

        Понятие Ф. л. является одним из наиболее фундаментальных в логике, т.к. особенность ее предмета — в исследовании мыслительных феноменов, познавательных приемов, языка с точки зрения их структуры. Определения таких важнейших логических терминов, как «правильное дедуктивное умозаключение», «логически истинное высказывание» и др., существенным образом используют данное понятие. Напр., правильным называют умозаключение, логическая форма которого гарантирует получение истинного заключения при одновременной истинности посылок. Логически истинным называют высказывание, истинное в силу своей Ф. л. Закон логической теории (общезначимая формула) есть результат фиксации формы логически истинного — с точки зрения данной теории — высказывания в формализованном языке.

        В.И. Маркин